Critical Embedded Systems Development Using Formal Methods and Statistical Reliability Metrics

نویسندگان
چکیده

منابع مشابه

Safety-critical systems, formal methods and standards

Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly a ects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing con dence in such systems. This paper examines the industrial use of these techniques, the recommendations con...

متن کامل

Programming Research Group Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards

Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly aaects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing conndence in such systems. This paper examines the industrial use of these techniques, the recommendations con...

متن کامل

Invisible formal methods for embedded control systems

Embedded control systems typically comprise continuous control laws combined with discrete mode logic. These systems are modeled using a hybrid automaton formalism, which is obtained by combining the discrete transition system formalism with continuous dynamical systems. This paper develops automated analysis techniques for asserting correctness of hybrid system designs. Our approach is based o...

متن کامل

Formal Methods in Safety-Critical Railway Systems

In this article we would like to present some recent applications of the B formal method to the development of safety critical systems, namely platform screen door controllers. These SIL3/SIL4 compliant systems have their functional specification based on a formal model. This model has been proved, guaranteeing a correct by construction behaviour of the system in absence of failure of its compo...

متن کامل

Scade 6: A Formal Language for Embedded Critical Software Development

SCADE is a high-level language and environment for developing safety critical embedded control software. It is used for more than twenty years in various application domains like avionics, nuclear plants, transportation, automotive. SCADE has been founded on the synchronous data-flow language Lustre invented by Caspi and Halbwachs. In the early years, it was mainly seen as a graphical notation ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Advances in Science, Technology and Engineering Systems Journal

سال: 2019

ISSN: 2415-6698,2415-6698

DOI: 10.25046/aj040123